Formal languages and analysis of contract-oriented software
نویسندگان
چکیده
In this work we present a visual model called CO Diagrams for the specification of e-contracts. This model includes specification of obligations, permissions, prohibitions, reparations and restrictions such as real time constraints. We also define a formal semantics of the visual model intended for the analysis and verification of the modeled contracts.
منابع مشابه
Design by Contract for Python
The idea of design by contract (DBC), realized in the statically typed object-oriented programming language Eiffel, can be viewed as a systematic approach to specifying and implementing object-oriented software systems. We believe that a statically typed programming language is not suitable in the analysis and design phase of a prototyping-oriented software life cycle. For this purpose, dynamic...
متن کاملContracts for Scenario-Based Testing of Object-Oriented Programs
Testing of a software system is always based on a contract between the system under test and its environment. Formal mathematical methods provide languages that allow defining such contracts unambiguously, soundly, and succinctly. Since object-oriented programs emphasise encapsulation of internal object state and interaction between objects through method calls, it is natural to base a testing ...
متن کاملFlacos'08 Workshop Proceedings Flacos'08 Second Workshop on Formal Languages and Analysis of Contract-oriented Software Acknowledgments a Framework for Contract-based Reasoning: Motivation and Application 77 Cc-pi: a Constraint-based Language for Contracts with Service Level Agreements
Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Service (cost, performance, availability, etc.). We overview a simple model of contracts for QoS and SLAs that combines two basic programming paradigms: name-passing calculi and concurrent constraint programming. In the resulting c...
متن کاملUsing Aspect-oriented Programming to Instrument Ocl Contracts in Java
Analysis and design by contract allows the definitions of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in the Object-Constraint Language (OCL) are known to be a useful technique to specify the precondition and postcondition of operations and class invariants in a UML context, making the definition of object-oriented analys...
متن کاملSafe Object-Oriented Software: The Verified Design-By-Contract Paradigm
In recent years, large sectors of the software development industry have moved from the procedural style of software development to an object-oriented style. Safety-critical software developers have largely resisted this trend because of concerns about verifiability of object-oriented systems. This paper outlines the benefits offered by object technology and considers the key features of the ob...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Algebr. Program.
دوره 78 شماره
صفحات -
تاریخ انتشار 2009